諏訪 敬之
諏訪 敬之（すわ たかし）は未踏クリエータ。
https://scrapbox.io/files/68da2a888fb6988039f61bb3.png
未踏事業採択
2017年未踏
テーマ: 型による静的検証能力の高い組版システムの開発
PM: 竹迫 良範
同採択においてスーパークリエータに認定
経歴
以下、明記なければrefより転載。
1993年、兵庫県生まれ
東京大学 教養学部 理科一類
2012年 入学
東京大学 工学部 計数工学科 数理情報工学コース
2014年 進学～2016年 卒業
東京大学大学院 情報理工学系研究科 コンピュータ科学専攻 修士課程
2016年 入学～2018年5月時点 同課程2年
2025年9月情報入手　諏訪 敬之 | Facebook
某研究機関 Scientific Programmer
2023年4月1日～現在
京都大学（Kyoto University） 情報学研究科情報学専攻通信情報システムコースに在学中
2023年4月1日～現在
プロダクト
マークアップ言語「SATySFi: A statically-typed, functional typesetting system」 2017年6月～2020年1月現在
外部リンク
gfngfn (T. Suwa) · GitHub
諏訪 敬之 | LinkedIn
諏訪 敬之 | Facebook
Takashi SUWA（諏訪 敬之）
#2017年未踏 #スーパークリエータ